Evaluation of Embedded Operating System by a Software Method
نویسندگان
چکیده
In this paper, software faults are emulated by Software Implemented Fault Injection (SWIFI) to evaluate embedded operating system. The method is based on the fact that the source codes of the operating system are mapped into the code segment in the target memory and it is easy to inject kinds of faults in the memory by SWIFI. Faults are emulated by injecting faults at assembly level instead of source code level. Using the software faults emulated by this method, the dependability of an embedded operating system is studied. The experimental results show that software faults have many effects on the software behavior and dependability, and to increase the dependability of software, exclusion of software faults is very important. ∗
منابع مشابه
Implementation Synthesis of Embedded Software Under Operating Systems Supporting the Hybrid Scheduling Model
Implementation synthesis of embedded software has great influence on implementing embedded software’s non-functional requirements, such as real-time, memory consumption, and low power, etc. In this paper, we focus on the implementation synthesis problem under a class of operating systems that supports the hybrid-scheduling model, that is, task sets have preemptable tasks and non-preemptable tas...
متن کاملUml for Embedded Software Development : an Evaluation of Rhapsody
The Unified Modeling Language (UML) has developed into a de facto standard for objectoriented software modeling. Its popularity is also growing for real-time and embedded systems, although the modeling of important aspects of this field has not yet been standardized. In this master’s thesis, an evaluation of the UML-based software development tool Rhapsody was performed for the Hitachi H8S/2238...
متن کاملInvestigate on the Teaching Method for the Course“Embedded System”
Embedded System is a course which has a close relationship with the embedded operating systems, embedded software course and hardware for Electronic Information Engineering Specialty. We reform subject “Embedded System” with the rapid development of Internet of Things around the 32-bit ARM processor and Linux operating systems, combined with the embedded industry and analysis of personnel train...
متن کاملPower System Transient Stability Analysis Based on the Development and Evaluation Methods
A novel method to compute the stability region in power system transient stability analysis is presented. This method is based on the set analysis. The key to this method is to construct the Hamilton-Jacobi-Isaacs (HJI) partial differential equation (PDE) of a nonlinear system, using which we can compute the backward reachable set by applying the level set methods. The backward reachable set of...
متن کاملCléopatre: Open-source Operating System Facilities for Real-Time Embedded Applications
In this paper, we present the facilities offered by CLEOPATRE, a new framework devoted to respond to real-time application developers needs, more particularly for open-source environments. The optional components of the operating system library cover a large range of needs in terms of scheduling, synchronization, faulttolerance and aperiodic task servicing. And we describe some results of a per...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006